SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Not enough search parameters. I'm using defaults.
FILE WASN'T FOUND IN ANY RPM FILE. TRYING TO SEARCH THIS FILE ON FTP SERVERS
You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 601 - 640 hits of 5131. Search took 0.04 seconds.
6
6
7
7
8
8
9
9
10
10
11
11
12
12
13
13
14
14
15
15
16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23
24
24
25
25
26
26

Search results for id :
Filename  Distribution  File size
idris-docs-1.3.3-3.fc34.noarch.rpm  Fedora 34  174 kB  Info
idris-docs-1.3.3-2.fc33.noarch.rpm  Fedora 33  174 kB  Info
idris-docs-1.3.2-3.fc32.noarch.rpm  Fedora 32  171 kB  Info
idris-docs-1.3.2-1.fc31.noarch.rpm  Fedora 31  171 kB  Info
idris-docs-1.3.1-1.fc30.noarch.rpm  Fedora 30  195 kB  Info
idris-common-1.3.4-6.fc38.noarch.rpm  Fedora 38  4139 kB  
idris-common-1.3.4-5.fc37.noarch.rpm  Fedora 37  4106 kB  
idris-common-1.3.4-5.fc37.noarch.rpm  Fedora 37  4143 kB  
idris-common-1.3.4-3.fc36.noarch.rpm  Fedora 36  4104 kB  Info
idris-common-1.3.4-17.fc41.noarch.rpm  Rawhide  4109 kB  
idris-common-1.3.4-17.fc41.noarch.rpm  Fedora Other  4109 kB  
idris-common-1.3.4-14.fc40.noarch.rpm  Fedora 40  4109 kB  
idris-common-1.3.4-12.fc39.noarch.rpm  Fedora 39  4139 kB  
idris-common-1.3.4-1.fc35.noarch.rpm  Fedora 35  4098 kB  Info
idris-common-1.3.3-6.20210626git2ef8238d0.fc35.noarch.rpm  Fedora 35  4098 kB  Info
idris-common-1.3.3-3.fc34.noarch.rpm  Fedora 34  4099 kB  Info
idris-common-1.3.3-2.fc33.noarch.rpm  Fedora 33  4099 kB  Info
idris-common-1.3.2-3.fc32.noarch.rpm  Fedora 32  4011 kB  Info
idris-common-1.3.2-1.fc31.noarch.rpm  Fedora 31  4011 kB  Info
idris-1.3.4-6.fc38.x86_64.rpm  Fedora 38  27106 kB  Info
idris-1.3.4-6.fc38.src.rpm  Fedora 38  1711 kB  
idris-1.3.4-5.fc37.x86_64.rpm  Fedora 37  19772 kB  Info
idris-1.3.4-5.fc37.src.rpm  Fedora 37  1707 kB  
idris-1.3.4-5.fc37.src.rpm  Fedora 37  1707 kB  
idris-1.3.4-5.fc37.riscv64.rpm  Fedora 37  72029 kB  
idris-1.3.4-3.fc36.x86_64.rpm  Fedora 36  19671 kB  Info
idris-1.3.4-3.fc36.src.rpm  Fedora 36  1694 kB  
idris-1.3.4-17.fc41.x86_64.rpm  Rawhide  22960 kB  
idris-1.3.4-17.fc41.x86_64.rpm  Fedora Other  22960 kB  
idris-1.3.4-17.fc41.src.rpm  Rawhide  1718 kB  
idris-1.3.4-17.fc41.src.rpm  Fedora Other  1718 kB  
idris-1.3.4-17.fc41.s390x.rpm  Rawhide  52058 kB  
idris-1.3.4-17.fc41.s390x.rpm  Fedora Other  52058 kB  
idris-1.3.4-17.fc41.ppc64le.rpm  Rawhide  29350 kB  
idris-1.3.4-17.fc41.ppc64le.rpm  Fedora Other  29350 kB  
idris-1.3.4-17.fc41.aarch64.rpm  Rawhide  24229 kB  
idris-1.3.4-17.fc41.aarch64.rpm  Fedora Other  24229 kB  
idris-1.3.4-14.fc40.x86_64.rpm  Fedora 40  30727 kB  Info
idris-1.3.4-14.fc40.src.rpm  Fedora 40  1711 kB  
idris-1.3.4-14.fc40.s390x.rpm  Fedora 40  65602 kB  

6
6
7
7
8
8
9
9
10
10
11
11
12
12
13
13
14
14
15
15
16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23
24
24
25
25
26
26
  
ICM